Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
621	Bisimulation, Model Checking and Other Games Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:02:37 Bisimulation Theoretical computer science Model checking Mathematics Modal logic Temporal logic Logic Philosophical logic Logic in computer science
622	12 MODAL MU-CALCULI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:48:03 Logic in computer science Jötnar Logi Modal μ-calculus Logic CTL* Mathematical logic Temporal logic Modal logic
623	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory
624	THE EPISTEMICS OF PRESUPPOSITION PROJECTION JAN VAN EIJCK AND CHRISTINA UNGER CWI (Amsterdam), Uil-OTS (Utrecht) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:18:04 Formal languages Model theory Modal logic Non-classical logic Philosophical logic Interpretation Presupposition Linear temporal logic Μ operator Logic Semantics Mathematical logic
625	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
626	Amos Ron Lectures Notes, Math887 09may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-09 12:07:54 Golden ratio Hahn–Banach theorem Distribution Dual space Linear temporal logic Μ operator Mathematical analysis Functional analysis Mathematics
627	Amos Ron Lectures Notes, Math887 05may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-05 15:56:18 Hilbert space Linear algebra Mathematics Spectral theory Generalized functions Μ operator Linear temporal logic Operator theory Physics Mathematical analysis
628	The Egenhofer–Cohn Hypothesis or, Topological Relativity? Alexander Klippel, Rui Li, Jinlong Yang, Frank Hardisty and Sen Xu Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2013-02-08 13:12:51 Cognitive science Mathematical logic Computational topology Constraint programming Region connection calculus Spatial–temporal reasoning Manifold Mereology Topological space Mathematics Topology Knowledge representation
629	Inductive Classes of Finite Models Steven Lindell Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:05 Model theory Constructible universe Function Compactness theorem Μ operator Linear temporal logic Mathematics Mathematical logic Logic
630	Bull. London Math. Soc[removed]–302 ❡ 2004 London Mathematical Society C Add to Reading List Source URL: www.math.uoc.gr Language: English - Date: 2004-05-03 07:37:10 Lie algebras Lie groups Weyl group Root system Golden ratio Arrangement of hyperplanes Linear temporal logic Golden ratio base Abstract algebra Mathematics Geometry